The ARC Programming Model – Language Constructs for Coordination
نویسندگان
چکیده
منابع مشابه
Language Constructs for Multi-agent Programming
In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend programming languages based on the BDI style of logical agent model with two such constructs, namely constraints and content/context sets. These two aspects provide sufficient expressive power to allow us to represent, simply an...
متن کاملLanguage Constructs for Distributed Real-Time Programming
For many distributed applications, it is not sufficient for programs to be logically correct. In addition, they must satisfy various timing constraints. This paper discusses primitives that support the construction of distributed real-time programs. Our discussion is focused in two areas: timing specification and communication. To allow the specifications of timing constraints, we introduce the...
متن کاملLanguage Constructs for Programming Active Databases
This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The primary novel feature introduced is the “delayed update”, or delta, which is a first-class value representing a set of proposed modifications to the underlying persistent store. Deltas can be created, inspected, and comb...
متن کاملProgramming Language Constructs and Program Size
Intuitively, the richer the set of control structures provided by a programming language (language constructs), the better its expressibility. Equating the ease of expression of an algorithm with the succinctness (size) of the resultant program, we show that all commonly-used programming languages provide all implementable control structures. We also study the class of size functions witnessing...
متن کاملLanguage Constructs for Safe Parallel Programming on Multi-Cores
eects and checking are implemented in the compiler. emore speculative gradual eect checking remains to be implemented. We have also not yet completely formalized or proven the soundness of the gradual eect system. 5.5 Unlocking Eects Using eects for data race-free parallelism is conceptually very similar to using locks. Annotating a method with an eect clause eectively locks the data des...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.06.031